/LMAR=50/TMAR=50/RMAR=4095/BMAR=1/PMAR=0/XLINE=0/FONT#0=NGR13/USETI=0000008*TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX*

␈β↓R␈↓ ↓x␈ε⊗f␈εα␈αprogram␈α9.1␈α↑␈αfrequency␈αcoun␈α␈t␈αof␈αletters
␈β↓⎇␈↓ α4␈εαin␈αinput␈α|le␈ε⊗␈αg
␈βα=␈↓ ↓H␈ε∩program␈↓ αX␈ε fcount␈↓ βC␈εα(␈↓ βO␈ε input␈↓ ∧*␈εα,␈↓ ∧:␈ε output␈↓ ¬'␈εα);
␈βαh␈↓ ↓H␈ε∩var␈↓ αλ␈ε ch␈↓ α:␈εα:␈↓ αN␈ε char␈↓ β≠␈εα;
␈ββ∪␈↓ ↓l␈ε count␈↓ αU␈εα:␈↓ αi␈ε∩array␈↓ β=␈εα[␈↓ βG␈ε∃'␈α␈a'␈↓ ∧	␈εα.␈αε.␈↓ ∧'␈ε∃'␈α␈z'␈↓ ∧e␈εα]␈↓ ∧u␈ε∩of␈↓ ¬→␈ε integer␈↓ ε⊃␈εα;
␈ββ>␈↓ ↓l␈ε letter␈↓ αO␈εα:␈↓ αc␈ε∩set␈↓ β∃␈ε∩of␈↓ β9␈ε∃'a'␈↓ β|␈εα.␈αε.␈↓ ∧~␈ε∃'␈α␈z'␈↓ ∧X␈εα;
␈ββj␈↓ ↓H␈ε∩begin␈↓ α(␈ε letter␈↓ β␈εα:=␈α
[␈↓ βM␈ε∃'a'␈↓ ∧⊂␈εα.␈αε.␈↓ ∧.␈ε∃'␈α␈z'␈↓ ∧l␈εα];
␈β∧∃␈↓ ↓H␈ε∩for␈↓ α␈ε ch␈↓ α2␈εα:=␈↓ αj␈ε∃'␈α␈a'␈↓ β2␈ε∩to␈↓ β\␈ε∃'␈α␈z'␈↓ ∧~␈ε∩do␈↓ ∧L␈ε count␈↓ ¬+␈εα[␈↓ ¬5␈ε ch␈↓ ¬]␈εα]␈α
:=␈α
0;
␈β∧@␈↓ ↓H␈ε∩while␈↓ α&␈ε∩not␈↓ α`␈ε eof␈↓ β#␈ε∩do
␈β∧k␈↓ ↓l␈ε∩begin␈↓ αL␈ε∩while␈↓ β*␈ε∩not␈↓ βd␈ε eoln␈↓ ∧6␈ε∩do
␈β¬⊗␈↓ α⊂␈ε∩begin␈↓ αp␈ε read␈↓ β>␈εα(␈↓ βJ␈ε ch␈↓ βr␈εα);␈↓ ∧∀␈ε write␈↓ ∧j␈εα(␈↓ ∧v␈ε ch␈↓ ¬≡␈εα);
␈β¬B␈↓ α⊂␈ε∩if␈↓ α2␈ε ch␈↓ αd␈ε∩in␈↓ β␈ε letter␈↓ βq␈ε∩then
␈β¬m␈↓ α4␈ε count␈↓ β∪␈εα[␈↓ β≥␈ε ch␈↓ βE␈εα]␈α
:=␈↓ ∧⊃␈ε count␈↓ ∧p␈εα[␈↓ ∧z␈ε ch␈↓ ¬"␈εα]␈αλ+␈αλ1
␈βε_␈↓ α⊂␈ε∩end␈↓ αH␈εα;
␈βεC␈↓ ↓l␈ε writeln␈↓ αb␈εα;␈↓ αx␈ε readln
␈βεn␈↓ ↓l␈ε∩end
␈βπ~␈↓ ↓H␈ε∩end␈↓ α␈εα.
␈βπY␈↓ ↓$␈ε∩type␈↓ ↓v␈ε alfa␈↓ α@␈εα=␈↓ αn␈ε∩pack␈α␈ed␈↓ βa␈ε∩array␈↓ ∧5␈εα[1␈↓ ∧U␈εα.␈αε.␈↓ ∧s␈εα10]␈↓ ¬'␈ε∩of␈↓ ¬K␈ε char␈↓ ε_␈εα;
␈βλ¬␈↓ α⊂␈ε⊗f␈εα␈αpage␈α46␈ε⊗␈αg
␈βλ0␈↓ ↓H␈ε status␈↓ α7␈εα=␈α
(␈↓ αq␈ε married␈↓ β|␈εα,␈↓ ∧␈ε widowed␈↓ ¬≤␈εα,␈↓ ¬,␈ε divorced␈↓ ε<␈εα,
␈βλ[␈↓ α⊂␈ε single␈↓ αr␈εα);
␈β	ε␈↓ ↓H␈ε date␈↓ α~␈εα=
␈β	1␈↓ ↓l␈ε∩record␈↓ αZ␈ε mo␈↓ β_␈εα:␈α
(␈↓ β8␈ε jan␈↓ βr␈εα,␈↓ ∧α␈ε feb␈↓ ∧4␈εα,␈↓ ∧D␈ε mar␈↓ ¬␈εα,␈↓ ¬≤␈ε apr␈↓ ¬X␈εα,␈↓ ¬h␈ε may␈↓ ε4␈εα,␈↓ εD␈ε jun␈↓ π␈εα,
␈β	]␈↓ α4␈ε july␈↓ αz␈εα,␈↓ β
␈ε aug␈↓ βI␈εα,␈↓ βY␈ε sept␈↓ ∧≡␈εα,␈↓ ∧.␈ε oct␈↓ ∧b␈εα,␈↓ ∧r␈ε nov␈↓ ¬/␈εα,␈↓ ¬?␈ε dec␈↓ ¬y␈εα);
␈β
λ␈↓ ↓l␈ε day␈↓ α6␈εα:␈α
1␈↓ α`␈εα.␈αε.␈↓ α}␈εα31;
␈β
3␈↓ ↓l␈ε year␈↓ αC␈εα:␈↓ αW␈ε integer
␈β
↑␈↓ ↓l␈ε∩end␈↓ α$␈εα;
␈β	␈↓ ↓H␈ε person␈↓ αB␈εα=
␈β5␈↓ ↓l␈ε∩record␈↓ αZ␈ε name␈↓ βB␈εα:
␈β`␈↓ α⊂␈ε∩record␈↓ α}␈ε first␈↓ βE␈εα,␈↓ βU␈ε last␈↓ ∧≤␈εα:␈↓ ∧0␈ε alfa
␈β␈↓ α⊂␈ε∩end␈↓ αH␈εα;
␈β6␈↓ ↓l␈ε ss␈↓ α→␈εα:␈↓ α-␈ε integer␈↓ β%␈εα;
␈βa␈↓ ↓l␈ε sex␈↓ α-␈εα:␈α
(␈↓ αM␈ε male␈↓ β∨␈εα,␈↓ β/␈ε female␈↓ ∧∨␈εα);
␈β

␈↓ ↓l␈ε birth␈↓ αF␈εα:␈↓ αZ␈ε date␈↓ β!␈εα;
␈β
8␈↓ ↓l␈ε depdts␈↓ αc␈εα:␈↓ αw␈ε integer␈↓ βo␈εα;
␈β
c␈↓ ↓l␈ε∩case␈↓ α8␈ε ms␈↓ αu␈εα:␈↓ β	␈ε status␈↓ β{␈ε∩of
␈β∞∞␈↓ α⊂␈ε married␈↓ β~␈εα,␈↓ β*␈ε widowed␈↓ ∧D␈εα:␈↓ ∧X␈εα(␈↓ ∧d␈ε mdate␈↓ ¬V␈εα:␈↓ ¬j␈ε date␈↓ ε2␈εα);
␈β∞9␈↓ α⊂␈ε divorced␈↓ β*␈εα:␈↓ β>␈εα(␈↓ βJ␈ε ddate␈↓ ∧0␈εα:␈↓ ∧D␈ε date␈↓ ¬␈εα;
␈β∞e␈↓ α4␈ε first␈↓ β¬␈εα:␈↓ β→␈ε Boolean␈↓ ∧∨␈εα);
␈β∂.␈↓ ∧'␈εα1
␈β⊃∂

␈β↓P␈↓ α⊂␈ε single␈↓ α|␈εα:␈↓ β⊂␈εα(␈↓ β≤␈ε indepdt␈↓ ∧%␈εα:␈↓ ∧9␈ε Boolean␈↓ ¬?␈εα)
␈β↓{␈↓ ↓l␈ε∩end␈↓ α$␈εα;␈ε⊗␈αf␈εα␈αperson␈ε⊗␈αg
␈βα<␈↓ ↓H␈ε∩with␈↓ α~␈ε p␈↓ α0␈εα,␈↓ α@␈ε name␈↓ β≡␈εα,␈↓ β.␈ε birth␈↓ ∧
␈ε∩do
␈βαg␈↓ ↓l␈ε∩begin␈↓ αL␈ε last␈↓ β∪␈εα:=␈↓ βK␈ε∃'␈α␈woo␈α␈dyar␈α␈d␈α)'␈↓ ¬C␈εα;
␈ββ∩␈↓ ↓l␈ε first␈↓ α=␈εα:=␈↓ αu␈ε∃'␈α␈edw␈α␈ard␈↓ ∧X'␈↓ ∧m␈εα;␈↓ ¬β␈ε ss␈↓ ¬1␈εα:=␈α
845680539;
␈ββ=␈↓ ↓l␈ε sex␈↓ α-␈εα:=␈↓ αe␈ε male␈↓ β7␈εα;␈↓ βM␈ε mo␈↓ ∧␈εα:=␈↓ ∧C␈ε aug␈↓ ¬β␈εα;␈↓ ¬→␈ε day␈↓ ¬c␈εα:=␈α
30;
␈ββi␈↓ ↓l␈ε year␈↓ αC␈εα:=␈α
1941;␈↓ βY␈ε depdts␈↓ ∧Q␈εα:=␈α
1;
␈β∧∀␈↓ ↓l␈ε ms␈↓ α)␈εα:=␈↓ αa␈ε single␈↓ βC␈εα;␈↓ βY␈ε indepdt␈↓ ∧b␈εα:=␈↓ ¬~␈ε true
␈β∧?␈↓ ↓l␈ε∩end␈↓ α0␈ε⊗f␈εα␈αwith␈ε⊗␈αg
␈β∂.␈↓ ∧'␈εα2
␈β⊃∂/FONT#2=cmr10[XGP,SYS]=()+,.012345689:;=[]↑acefghilmnopqrstuwy||/FONT#18=cmb10[XGP,SYS]=abcdefghiklmnoprstvwyy/FONT#21=cmtt[XGP,SYS]='adeorwyzz/FONT#22=cmsy10[XGP,SYS]=fgg/FONT#32=cmti10[XGP,SYS]=Babcdefghijlmnoprstuvwxyy